Non-intrusive Formal Methods and Strategic Rewriting for a Chemical Application
نویسندگان
چکیده
The concept of formal islands allows adding to existing programming languages, formal features that can be compiled later on into the host language itself, therefore inducing no dependency on the formal language. We illustrate this approach with the TOM system that provides matching, normalization and strategic rewriting, and we give a formal island implementation for the simulation of a chemical reactor.
منابع مشابه
Higher-order strategic programming: A road to software assurance
Program transformation through the repeated application of simple rewrite rules is conducive to formal verification. In practice, program transformation oftentimes requires data to be moved throughout the program structure. This article explores the use of higher-order rewrite rules as the mechanism for accomplishing such data movement. The effectiveness of higher-order rewrite rules is demonst...
متن کاملTowards Automated Non-Intrusive Load Monitoring Performance Evaluation
In the past couple of years Non-Intrusive Load Monitoring has been gaining special attention from the research community playing an important role in the solution of problems related to energy sustainability and smart-grids. However despite its notoriety, until recently no efforts were made towards having formal methods for evaluating its performance. In this paper we present our hardware-softw...
متن کاملStack-based Strategic Control
In a strategic framework, combinators provide a fundamental mechanism for exercising control over rewriting. This type of control is based on the observation of the success or failure of strategy application. This paper describes a framework where information relating to the outcome of strategy application is stored in two internally maintained stacks. These stacks represent an implicit state w...
متن کاملAn investigation on stress distribution of the anterior maxillary teeth PDL during the application of intrusive forces in midline
An investigation on stress distribution of the anterior maxillary teeth PDL during the application of intrusive forces in midline Dr. S.M. Abtahi * - Dr. F. Heravi** * - Assistant professor of Orthodontics Dept. Faculty of Dentistry Hamedan University of Medical Sciences. ** - Assistant professor of Orthodontics Dept. Faculty of Dentistry Mashhad University of Medical Sciences. Background an...
متن کاملElectronic Non Formal Education: A Case Study of Tehran Municipality
Considering the emergence of brand-new educational needs, non-formal education as a prerequisite of a knowledge-based society is increasingly going popular among nations in view of its continual nature. However, life-long learning as a key concept of the modern education system stands clearly at odds with traditional learning in every way of philosophy, objectives,...
متن کامل